integral of sin(sin(sin(...(x))))